Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
791	International Mathematical Olympiad 2004 Hong Kong Preliminary Selection Contest Outline of Solutions Answers: Add to Reading List Source URL: www.mathdb.org Language: English - Date: 2004-01-04 14:01:27 Complex analysis Trigonometric functions Sine Mathematical fallacy Exponentiation Pi Complex number Proof that π is irrational Sturm–Liouville theory Mathematics Mathematical analysis Trigonometry
792	PDF Document Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Logic in computer science Proof theory Predicate logic Type theory First-order logic Sequent Isabelle Higher-order logic Logical framework Logic Mathematical logic Mathematics
793 $Algebra / Mathematical fallacy / Proof theory / Exponential function / Partial fraction / Variation of parameters / Mathematics / Special functions / Mathematical analysis$	International Mathematical Olympiad 2001 Hong Kong Preliminary Selection Contest (Sponsored by the Quality Education Fund) Solutions 1. Add to Reading List Source URL: www.mathdb.org Language: English - Date: 2004-01-04 14:01:26 Algebra Mathematical fallacy Proof theory Exponential function Partial fraction Variation of parameters Mathematics Special functions Mathematical analysis
794	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein {} Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic Computability theory Lambda calculus Theoretical computer science Mathematical proof Constructible universe Creative Commons Mathematics Mathematical logic Open content
795	A ‘theory’ mechanism for a proof-verifier based on first-order set theory ? Eugenio G. Omodeo1 and Jacob T. Schwartz2 1 2 Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:43:38 Functions and mappings Function Axiom schema of replacement First-order logic Equivalence relation Model theory Μ operator Primitive recursive function Mathematics Mathematical logic Logic
796	Mathematical Induction MATHEMATICAL INDUCTION Helen Bush Reflections, August 1992 Add to Reading List Source URL: www.hsc.csu.edu.au Language: English - Date: 2012-01-30 10:36:01 Proof theory Mathematical logic Integer sequences Mathematical series Mathematical induction Pi Factorial Mathematical fallacy Binomial coefficient Mathematics Mathematical analysis Mathematical proofs
797	PDF Document Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Logic in computer science Automated theorem proving Formal methods Model theory Isabelle First-order logic KeY HOL Proof assistant Theoretical computer science Mathematical logic Mathematics
798	Bibliographie autour des graphes et surfa es Théorème de Jordan H. Tverberg. A Proof of the Jordan Curve Theorem. Bull. London Math. So . Add to Reading List Source URL: www.gipsa-lab.grenoble-inp.fr Language: English - Date: 2010-01-05 11:15:43 Graph theory Bridge Minor
799	Mathematical Induction MATHEMATICAL INDUCTION Helen Bush Reflections, August 1992 Add to Reading List Source URL: hsc.csu.edu.au Language: English - Date: 2012-02-02 10:35:55 Proof theory Mathematical logic Integer sequences Mathematical series Mathematical induction Pi Factorial Mathematical fallacy Binomial coefficient Mathematics Mathematical analysis Mathematical proofs
800	PVS Prover Guide Version 2.4 • November 2001 N. Shankar S. Owre J. M. Rushby Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:59 Proof theory Logical syntax Mathematical logic Nqthm First-order logic Proof assistant Prototype Verification System Natural deduction Theorem Logic Mathematics Automated theorem proving

UPDATE